Termination analysis - PDFSEARCH.IO - Document Search Engine

Termination analysis
Results: 113

#	Item
11	A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog? T. Str¨ oder1 , F. Emmes1 , P. Schneider-Kamp2 , J. Giesl1 , and C. Fuhs1 1 Add to Reading List Source URL: www.dcs.bbk.ac.uk - Date: 2011-07-19 17:56:54
12	Aachen Department of Computer Science Technical Report A Linear Operational Semantics for Termination and Complexity Analysis Add to Reading List Source URL: www.dcs.bbk.ac.uk - Date: 2011-07-19 18:04:54
13	SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-23 09:19:29 Theoretical computer science Computing Software engineering Logic in computer science Automated theorem proving Static program analysis Termination analysis Rewriting KeY Automated reasoning Bytecode Christoph Walther
14	Aachen Department of Computer Science Technical Report Better termination proving through cooperation Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2013-04-14 08:37:31 Graph theory Mathematics Discrete mathematics Static program analysis Termination analysis Graph Cograph KeY IP Ear decomposition
15	Aachen Department of Computer Science Technical Report Automated Termination Analysis for Programs with Pointer Arithmetic Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2015-09-01 06:52:18 Software Compilers LLVM
16	All-Termination(T) Aaron Turon Northeastern University (joint work with Pete Manolios) Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:24 Software engineering Computer programming Computing Data types Functional programming Abstract data types Recursion Subroutines Theoretical computer science Cons List Termination analysis
17	All-Termination(T )? Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We introduce the All-Termination(T ) problem: given a termination solver T and a collection of functions Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:25 Mathematical analysis Mathematics Analysis Functions and mappings Static program analysis Termination analysis Limit of a function IP Well-founded relation Measure theory Computability theory Inequalities
18	Under consideration for publication in Theory and Practice of Logic Programming 1 SAT-Based Termination Analysis Using Monotonicity Constraints over the Integers∗ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 08:22:42 Mathematics Multiset Set Path ordering Theoretical computer science Computing
19	All-Termination(SCP) Panagiotis Manolios and Aaron Turon Northeastern University {pete,turon}@ccs.neu.edu Abstract. We recently introduced the All-Termination(T ) problem: given a termination solver T and a function F , Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2010-01-10 16:47:16 Mathematical analysis Mathematics Analysis Functions and mappings Computability theory Static program analysis Termination analysis Big O notation Derivative Bijection Expected value Recursion
20	SAT Instances for Termination Analysis with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2009-06-09 05:12:21 Theoretical computer science Logic in computer science Formal languages Hans Zantema International Conference on Rewriting Techniques and Applications Rewriting Termination analysis Divergence NP-completeness

UPDATE